有向完備半順序 (dcpo)
directed-complete partial order
完備半順序 - Wikipedia
dcpo in nLab
半順序
で、任意の部分
有向集合
が上限 (supremum。最小上界 (least upper bound)) を持つ事を言ふ
$ \forall D_{\subseteq P}(\forall a,b_{\in D}\exist u_{\in D}(a\le u\land b\le u)\to\exist\sup D_{\in P})
.
Scott 連續
スコット連続 - Wikipedia
Scott 位相
順序集合 - Wikipedia#スコット位相